Calculating generators of multigraded algebras
نویسندگان
چکیده
منابع مشابه
Generators of matrix incidence algebras
Let n E Z+ and let K be a field. Let ~ be a partial order on {1, 2, ... , n}. Let An(:::;) be the matrix incidence algebra consisting of those n x n matrices A = (ai,j) with entries in K, satisfying ai,j 0 whenever i 1:. j. For a subset £ ~ An (::5), a necessary and sufficient condition that the algebra generated by £ u {I} is An(::5) is that (i) for every 1 :::; i, j :::; n with i =1= j, there...
متن کاملCalculating Software Generators from Solution Speciications ?
1 A technology for automatic program generation Program generators can substantially reduce the eeort needed to produce application-tailored versions of a common software design, but the task of designing and implementing a program generator for a new application domain can be formidable. This paper describes a new technology for creating program generators. It is built upon research results in...
متن کاملCalculating Software Generators from Solution Specifications
Software application generators can eliminate many of the technical aspects of program ming for most computer users We have developed a uniform approach to the design of pro gram generators based upon a simple idea provide a declarative speci cation language for each application domain and give it a computable denotational semantics To make this idea practical however requires a comprehensive s...
متن کاملamenability of banach algebras
chapters 1 and 2 establish the basic theory of amenability of topological groups and amenability of banach algebras. also we prove that. if g is a topological group, then r (wluc (g)) (resp. r (luc (g))) if and only if there exists a mean m on wluc (g) (resp. luc (g)) such that for every wluc (g) (resp. every luc (g)) and every element d of a dense subset d od g, m (r)m (f) holds. chapter 3 inv...
15 صفحه اولJoint Spectra of Generators in Topological Algebras
Let be a complex topological algebra with unit 1 and a family of proper closed ideals in . For an arbitrary S⊂ we define a globally defined joint spectrum σ (S)= {(λs)s∈S ∈ CS |∃ I ∈ (s− λs) ∈ I ∀s ∈ S}. We prove that for S generating the spectrum σ (S) can be identified with the setM of continuous multiplicative functionals f on such that ker f ∈ . The relation is given by the formula σ (S)= {...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 2013
ISSN: 0747-7171
DOI: 10.1016/j.jsc.2012.03.005